package mathy.wili.autoeq.transfer;
/**
 * 处理器返回值
 */
public interface TransRet {
	/**
	 * 已证明为假
	 */
	int Ret0 = 0;

	/**
	 * 已证明为真。
	 */
	int Ret1 = 1;

	/**
	 * 成功处理，不要求紧跟标准化。<br>
	 * eg. 加减项但还需后续处理时，不可让加减项被标准化去掉(Ret20)。
	 */
	int Ret20 = 20;

	/**
	 * 成功处理，期待紧跟标准化。
	 */
	int Ret21 = 21;

	/**
	 * 未成功处理 (因实例和栈都未发生变化，无需恢复之)
	 */
	int Ret30 = 30;

	/**
	 * 未成功处理
	 */
	int Ret31 = 31;

	/**
	 * 返回到可选分支处.
	 */
	int Ret40 = 40;

	/**
	 * 预查失败，当返回到最近的有剩余可选路径(下标)的预查结点。<br>
	 * 即:此返回值将“预查失败信息” 回传到有可选剩余路径的前驱。<br>
	 * eg. b5024
	 */
	int Ret301 = 301;
}
